package river_city_ransom.services;

import exceptions.ComposantError;


public interface Position {
	/** _________________________________________________________ OBSERVATORS */
	public int x();
	public int y();
	public int z();
	
	
	/** ________________________________________________________ CONSTRUCTORS */
//	post x(init(x, y, z)) = x
//	post y(init(x, y, z)) = y
//	post z(init(x, y, z)) = z
	public void init(int x, int y, int z) throws ComposantError;
}
